package packageServer;

public class Punteggio {

	private int punti;
	private String user;
	private String specie;
	private boolean estinta;
	
	//@requires (user!=null)&&(!user.equals(""));
	//@requires (specie!=null)&&(!specie.equals(""));
	//@requires punti>=0;
	//@requires estinta!=null;
	public Punteggio(String user,String specie,int punti,boolean estinta){
		this.user=user;
		this.specie=specie;
		this.punti=punti;
		this.estinta=estinta;
	}

	
	public int getPunti() {
		return punti;
	}

	
	public void setPunti(int punti) {
		this.punti = punti;
	}


	public String getUser() {
		return user;
	}


	public void setUser(String user) {
		this.user = user;
	}


	public String getSpecie() {
		return specie;
	}


	public void setSpecie(String specie) {
		this.specie = specie;
	}

	
	/**
	 * Metodo che controlla se la specie nel punteggio si trova o meno ancora in gioco.
	 * 
	 * @return Ritorna false per dire che non e' estinta, true se e' estinta.
	 */
	public boolean isEstinta() {
		return estinta;
	}

	
	public void setEstinta(boolean estinta) {
		this.estinta = estinta;
	}
	
	
}
